Symbolic model checking based on induction
- Författare
- Institutionen för datavetenskap (Göteborg) Niklas Sörensen
- (Examensarbete)
- Genre
- Ej skönlitteratur
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| 2000 | Sverige | 39 sidor. |
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| 2000 | Sverige | 39 sidor. |